Міністерство освіти і науки України ВСП – Технічний коледж НУ «Львівська політехніка» Звіт Лабораторна робота №4 «Побудова діаграм переходів станів—STD (State Transition Diagrams)» підготувавстудент групи 45КІЛогін Юрій Львів – 2013 Мета лабораторної роботи: полягає у практичному засвоєнні основних принципів побудови діаграм переходів станів — STD (State Transition Diagrams). Теоретичні відомості Специфікації управління призначені для моделювання та документування аспектів систем, що залежать від часу або реакції на подію. Вони дозволяють здійснювати декомпозицію керуючих процесів і описують відношення між вхідними і вихідними керуючими потоками на керуючому процесі-предку. З цією метою звичайно використовуються діаграми переходів станів (State Tradition Diagrams — STD). За допомогою STD можна моделювати майбутнє функціонування системи на ґрунті її попереднього та поточного функціонування. Система, що моделюється, в будь-який заданий момент часу знаходиться точно в одному з скінченої множини станів. З перебігом часу вона може змінити свій стан, при цьому переходи між станами повинні бути точно визначені. STD складається з наступних об'єктів: Стан може розглядатися як умова тривалості для системи. Знаходячись в певному стані, ми маємо достатньо інформації про колишню історію системи, щоб визначити черговий стан в залежності від поточних вхідних подій. Ім'я стану повинно відбивати реальну ситуацію, в якій знаходиться система, наприклад, НАГРІВАННЯ, ОХОЛОДЖЕННЯ та ін. Початковий стан — вузол STD, що є стартовою точкою для початкового системного переходу. STD має лише один початковий стан, відповідний до стану системи після її інсталяції, але перед початком реальної обробки, а також будь-яке (скінчене) число завершальних станів. Перехід визначає переміщення системи, що моделюється, з одного стану в інший. При цьому ім'я переходу ідентифікує подію, що є причиною переходу і керована ним. Ця подія звичайно складається з керуючого потоку (сигналу), що виникає як в зовнішньому світі, так і всередині системи що моделюється, при виконанні деякої умови (наприклад, ЛІЧИЛЬНИК=10 або КНОПКА НАТИСНУТА). Слід відзначити, що не всі події викликають переходи з окремих станів в інші. З іншого боку, одна і та ж подія не завжди викликає перехід в той же самий стан. Таким чином, умова являє собою подію (або події), що викликають перехід і ідентифікується ім'ям переходу. Якщо в умові бере участь вхідний керуючий потік керуючого процесу-предка, то ім'я потоку повинно бути в лапках, наприклад, "ПАРОЛЬ"=100, де ПАРОЛЬ - вхідний потік. Окрім умови, з переходом може пов'язуватися дія або ряд дій, що виконуються, коли перехід має місце. Дія це операція, що може мати місце при виконанні переходу. Якщо дія необхідна для вибору вихідного керуючого потоку, то ім'я цього потоку повинно бути взятим в лапки, наприклад: "ВВЕДЕНА KAPTA"=TRUE, де ВВЕДЕНА КАРТА — вихідний потік. Крім того, для специфікації А-, Т- , E/D потоків (типи керуючих потоків) ім'я або процесу , що перемикається або запускається, також повинно бути в лапках, наприклад: А: "ОТРИМАТИ ПАРОЛЬ" — активувати процес ОТРИМАТИ ПАРОЛЬ. Фактично умова є деяка зовнішня або внутрішня подія, яку система здатна виявити і на яку вона повинна відреагувати певним чином, змінюючи свій стан. При зміні стану система звичайно виконує одну або більше дій (формує висновок, видає повідомлення на термінал, виконує обчислення). Таким чином, дія являє собою відгук в зовнішнє оточення, або обчислення, результати якого запам'ятовуються в системі (звичайно в сховищах даних на DFD), для того, щоб забезпечити реакцію на деякі події, що плануються в майбутньому. На STD стани представляються вузлами, а переходи — дугами (мал. 1). Умови (по-іншому називаються стимулюючими подіями) ідентифікуються ім'ям переходу і викликають його виконання. Дії або відгуки на події прив'язуються до переходів і записуються під відповідною умовою. Початковий стан на діаграмі повинен мати вхідний перехід, що зображається потоком зі старт...